This book constitutes the refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held ...
Lire la suiteThis useful volume provides up-to-date and state-of-the-art coverage of the diverse topics related to pervasive computing ...
Lire la suiteThis book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the 10th International Workshop on Principles, Systems and Applications ...
Lire la suiteIt is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Lire la suiteThe idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Lire la suiteThe book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lire la suiteThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
Lire la suiteThe behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lire la suiteProvides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are ...
Lire la suiteThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suiteThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suiteThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lire la suiteThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suiteThis book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
Lire la suite